CENIIT research project 00-11 Fault Tolerance in Real-time Distributed Systems

The above project proposal was originally formulated around development of an incremental proof management system to support an incremental design methodology for analysis of system fault tolerance. The work was expected to be valuable in development of safety-critical systems and in particular aerospace systems. As a result of early feedback by other industrial members of the CENIIT board, the project was later reformulated to cover availability and thereby analysis of fault tolerance in networked systems. This complete redirection of the topic should perhaps be seen as the single most benefit of the exposure to the CENIIT context, from which a whole group of new research activities were spawned in the years to come.